1

Concurrency without toil: a systematic method for parallel program design

Year:
1993
Language:
english
File:
PDF, 3.38 MB
english, 1993
2

Stepwise refinement and concurrency: the finite-state case

Year:
1990
Language:
english
File:
PDF, 5.14 MB
english, 1990
4

Simplification of boolean verification conditions

Year:
2000
Language:
english
File:
PDF, 152 KB
english, 2000